Coherent Choice and Epistemic Entrechment (Preliminary Report)
نویسنده
چکیده
1 I n t r o d u c t i o n The notion of the epistemic entrenchment has recently at t racted quite some attention in the AI community. It was introduced, first under the name "epistemic importance", by Peter G~irdenfors [7, 8]. He specified two possible "origins" of epistemic entrenchment: an information-theoretic appoach and a paradigm approach. However, neither of these approaches squares well with the logical constraints which are placed on entrenchment relations in the later and more mature work of Gfixdenfors and Makinson [10]. Although it is now known how epistemic entrenchment can be put to work technically, the problem of providing a systematic justification of the postulates for entrenchment relations is still largely unresolved. The present paper offers a solution to this problem which is faithful to the literal meaning of the term "entrenchment". We follow the philosophical strategy of reducing logical principles to abstract principles of rationality for decisions and actions which we consider to be more fundamental than the former. The standard theory of epistemic entrenchment [10, 21] is interpreted in terms of the general theory of rational choice, and the following questions are being addressed. Are the usual postulates for entrenchment justified by principles of rational choice? Do the latter principles, or the mere interpretation of entrenchments in terms of choice, impose interesting additional constraints on entrenchment relations? Conversely, which principles of rational choice can be retrieved from the entrenchment postulates, and what is their status in the theory of choice?
منابع مشابه
Possession as Linear Knowledge
Epistemic logic analyzes reasoning governing localized knowledge, and is thus fundamental to multiagent systems. Linear logic treats hypotheses as consumable resources, allowing us to model evolution of state. Combining principles from these two separate traditions into a single coherent logic allows us to represent localized consumable resources and their flow in a distributed system. The slog...
متن کاملSocial Choice, Merging, and Elections
Intelligent agents have to be able to merge inputs received from different sources in a coherent and rational way. Recently, several proposals have been made for the merging of structures in which it is possible to encode the preferences of sources [5, 4, 12–14, 1]. Information merging has much in common with the goals of social choice theory: to define operations reflecting the preferences of ...
متن کاملUpdating Epistemic Logic Programs
We consider the problem of updating nonmonotonic knowledge bases represented by epistemic logic programs where disjunctive information and notions of knowledge and belief can be explicitly expressed. We propose a formulation for epistemic logic program update based on a principle called minimal change and maximal coherence. The central feature of our approach is that during an update or a seque...
متن کاملSocial choice theory, belief merging and elections
Intelligent agents have to be able to merge inputs received from different sources in a coherent and rational way. Several proposals have been made for the merging of structures in which it is possible to encode the preferences of sources [5, 4, 12, 16, 17, 1]. Information merging has much in common with the goals of social choice theory: to define operations reflecting the preferences of a soc...
متن کاملEnhanced Contraction and (In)dependence Preliminary report
The aim of this study consists in exploring some new ways of representing and discerning information embodied in our epistemic states. It is based on a presupposition that epistemic state is much more than just a set of propositions. It is a structured entity in which propositions are organized in a tight net of dependencies and justifications. In previous publications I have suggested to forma...
متن کامل